Predicate variable - PDFSEARCH.IO - Document Search Engine

Predicate variable
Results: 34

#	Item
21	Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas Patrick Doherty Dept. of Computer Science Link¨oping University S[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:08:21 Propositional calculus Model theory Boolean algebra Formal languages Predicate logic Propositional variable First-order logic Interpretation Propositional formula Logic Mathematical logic Mathematics
22	Journal of Automated Reasoning, 18, 297{[removed]) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Computing Circumscription Revisited: A Reduction Algorithm Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:57:57 Predicate logic Model theory Formal languages Circumscription Logic programming Atomic formula Function Monadic predicate calculus Predicate variable Logic Mathematical logic Mathematics
23	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
24	Index of syntactic variables appearing in R. Carnap’s Logical Syntax of Language (English translation, [removed]For errors or additions, please e-mail Douglas Marshall at [removed]. Syntactic Variable: Ran Add to Reading List Source URL: www.carnap.org Language: English - Date: 2005-11-07 12:18:27 Mathematical logic Propositional calculus Semantics Function Propositional variable Predicate variable Term Expression Predicate Logic Mathematics Predicate logic
25	Peripheral Envelopes: Spanish Perfects in the Variable Context Chad Howe and Celeste Rodríguez Louro Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:03:45 Grammatical aspect Telicity Preposition and postposition Spanish prepositions Predicate Grammar Linguistics Parts of speech
26	Context and the Composition of Meaning Jan van Eijck ([removed]) CWI and ILLC, Amsterdam, Uil-OTS, Utrecht Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:44:43 Mathematical logic Predicate logic Elementary mathematics Model theory Quantification Discourse representation theory Variable Function First-order logic Logic Mathematics Semantics
27	Functional Pearl: I am not a Number—I am a Free Variable Conor McBride Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-09-28 13:09:54 Predicate logic Semantics Type theory Map De Bruijn index Free variables and bound variables Find Binding Closure Computing Software engineering Logic
28	Introduction to Lambda Calculus Henk Barendregt Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-04-12 10:42:50 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
29	Bulletin of the Section of Logic Volume 11:[removed]), pp. 40–45 reedition[removed]original edition, pp. 40–47] Add to Reading List Source URL: www.filozof.uni.lodz.pl Language: English - Date: 2009-10-08 06:39:44 Predicate logic Propositional calculus Philosophy of language Interpretation Propositional variable Modal logic Meaning Tractatus Logico-Philosophicus Sentence Logic Philosophical logic Semantics
30	PDF Document Add to Reading List Source URL: reason.cs.uiuc.edu Language: English - Date: 2005-05-13 21:20:23 Predicate logic Ontology Automated theorem proving Reasoning Programming paradigms Cyc First-order logic Inference Predicate variable Logic Science Mathematics